home *** CD-ROM | disk | FTP | other *** search
/ Games of Daze / Infomagic - Games of Daze (Summer 1995) (Disc 1 of 2).iso / x2ftp / books / tech / osprogsr.toc < prev    next >
Encoding:
Internet Message Format  |  1994-12-10  |  6.7 KB
  1. From: shartley@dunx1.ocs.drexel.edu (shartley)
  2. Newsgroups: comp.os.misc,misc.books.technical
  3. Subject: teaching operating systems
  4. Date: 7 Dec 1994 11:34:28 -0500
  5.  
  6. In late January or early February, Oxford Univ. Press will publish my book
  7.  
  8.      "Operating Systems Programming: The SR Programming Language".
  9.      The ISBN is 0-19-5095790.  Contact them at (800) 451-7556 for
  10.      a copy.  Suggested list price is $25.00.
  11.  
  12. The example SR programs used in the book are avaliable by anonymous ftp
  13. >from site mcs.drexel.edu in directory pub/shartley; retrieve file
  14. book_SR_examples.tar.gz or book_SR_examples.tar.Z (remember to use binary
  15. mode) to get a tar archive compressed with the GNU compression program
  16. gzip or the UNIX utility compress, respectively.
  17.  
  18. Steve Hartley
  19. Drexel University
  20. shartley@mcs.drexel.edu
  21.  
  22. Here is the Preface:
  23.  
  24.   SR is a language for concurrent programming.  This book describes the SR
  25. language, presents some examples of SR programs in the context of an operating
  26. systems or concurrent programming course, and provides some programming as-
  27. signments in the form of open Student Laboratories.  The SR language can be
  28. used by instructors of concurrent programming or operating systems courses to
  29. give students experience in writing concurrent programs that use multiple
  30. processes, semaphores, monitors, message passing, remote procedure calls, and
  31. the rendezvous.  The language can also be used for parallel computing in a
  32. shared-memory multiprocessor or a distributed memory cluster environment.
  33.   The intended audience is undergraduate and graduate students enrolled in
  34. concurrent programming and operating systems classes.  Prerequisites for stu-
  35. dents are knowledge of a high-level programming language like C or Pascal and
  36. operating systems concepts.  See the Instructor's Manual for more detailed
  37. prerequisites.  This book is designed to be used during an operating systems
  38. course in conjunction with one of the standard texts to provide concurrent
  39. programming experience.  The book can also be used in a full semester follow-
  40. on course to operating systems to provide more extensive programming experi-
  41. ence.  Since most concepts and terms are defined, the book can be used as the
  42. sole text in an introductory concurrent programming course that precedes the
  43. operating systems course.
  44.   The required computing environment is a UNIX platform such as a Sun 3, Sun
  45. 4, Sequent Symmetry, DECstation, SGI Iris, NeXT, HP RISC, or PC compatible
  46. running Linux.
  47.   The SR examples and programming assignments in this book have been used suc-
  48. cessfully in undergraduate concurrent programming and operating systems
  49. courses at Drexel University, Philadelphia, Pennsylvania, and Trinity Univer-
  50. sity, San Antonio, Texas.  The book arose out of a collection of handouts and
  51. class notes distributed to students during 1991-94 and is a greatly expanded
  52. version of [some earlier journal papers].
  53.   This book has several important features.
  54.     * The material is keyed to four standard operating systems texts: Deitel,
  55. Silberschatz and Galvin, Stallings, and Tanenbaum.  The relevant sections of
  56. these texts for the major concepts, such as semaphores and monitors, are indi-
  57. cated.
  58.     * Each of the numerous example programs in this book includes output from
  59. one or two sample runs to show how the program works.
  60.     * Algorithm animation using the animator interpreter from the XTANGO sys-
  61. tem is described and used in several of the examples.
  62.     * Numerous programming assignments in the form of open Student Labora-
  63. tories are given.
  64.   The example programs in this book will be made available by anonymous ftp at
  65. site mcs.drexel.edu.  Contact the author for further details.
  66.  
  67. Here is the TOC:
  68.  
  69. Operating Systems Programming
  70.    Hardware Basics
  71.       Hardware and Software Interrupts
  72.       Hardware Protection
  73.       CPU Scheduling
  74. The SR Programming Language
  75.    Sequential Features
  76.    Additional Sequential Examples and Features
  77.    Lab: Sequential SR
  78.    Multiple Resources
  79.    Lab: Resources and Capabilities
  80.    Additional Features
  81.    Animating Programs with XTANGO
  82.    Lab: XTANGO Animation
  83. Concurrent Programming
  84.    Multiple Processes in One Resource
  85.    Multiple Processes in Multiple Resources
  86.    Simulated versus Real Concurrency
  87.    Debugging Techniques
  88.    Race Conditions and Process Synchronization
  89.    Lab: Race Conditions
  90.    Architecture and Shared Memory Systems
  91.    The Mutual Exclusion Problem
  92. Semaphores
  93.    SR Semaphores
  94.    Classical Operating Systems Problems
  95.    Semaphore Solutions
  96.       The Producers and Consumers
  97.       The Sleeping Barber
  98.       The Dining Philosophers
  99.       The Readers and Writers
  100.    Binary Semaphores
  101.    Lab: Semaphores
  102.       Assignment: Fix Race Condition
  103.       Assignment: Multiple Producers and Consumers
  104.       Assignment: Another Classical Problem
  105.       Assignment: Multiple Sleeping Barbers
  106.       Assignment: Dining Philosophers
  107.       Assignment: Fair Readers and Writers
  108.       Assignment: Baboons Crossing a Canyon
  109.       Assignment: Fraternity Party
  110.       Assignment: Jurassic Park
  111.    Animating Operating Systems Algorithms
  112.    Lab: Classical Problem Animation
  113. Monitors
  114.    Monitors and SR
  115.       The Producers and Consumers
  116.       The Dining Philosophers
  117.       The Readers and Writers
  118.    Implementing Monitors with Semaphores
  119.    Lab: Monitors
  120.       Assignment: Fair Baboons
  121.       Assignment: Sleeping Barber
  122.       Assignment: Fair Dining Philosophers
  123.       Assignment: Fraternity Party
  124.       Assignment: Bakery
  125. Message Passing and the Rendezvous
  126.    Message Passing
  127.    Message Passing in SR
  128.       Concurrent Programs and Message Passing
  129.       Distributed Mutual Exclusion
  130.       Miscellaneous Examples
  131.    Lab: Message Passing
  132.       Assignment: Merge Sort
  133.       Assignment: Pipeline Sieve of Eratosthenes
  134.       Assignment: Compare/Exchange Sort
  135.       Assignment: Speedup
  136.       Assignment: Algorithm Animation
  137.    Rendezvous
  138.       Classical Problems Using Rendezvous
  139.       Nested in Statements
  140.       A Lock Resource
  141.       The Distributed Dining Philosophers
  142.    RPC and Client-Server Programming
  143.    Summary of Operations and Invocations
  144.    Lab: Rendezvous
  145.       Assignment: Fair Baboons
  146.       Assignment: Sleeping Barber
  147.       Assignment: Fair Readers and Writers
  148.       Assignment: Fair Dining Philosophers
  149.       Assignment: Fraternity Party
  150.       Assignment: Bakery
  151.       Assignment: Banker's Algorithm
  152.    More Animation with XTANGO
  153.    Lab: Algorithm Animation
  154. Parallel Computing
  155.    Coarse-Grained Concurrency in SR
  156.    Patterns of Communication
  157.    Data Parallelism
  158.       Shared Memory Examples
  159.       Message Passing Examples
  160.    Integrating Animator into SR
  161.    Lab: Parallel Computing
  162.       Assignment: Speedup
  163.       Assignment: Race Condition
  164.       Assignment: No Race Condition
  165. Instructor's Manual
  166.    Sample Lab Solutions
  167.       Semaphores
  168.       Monitors
  169.       Message Passing
  170.       Rendezvous
  171.       Parallel Computing
  172.  
  173.  
  174.